Giovanni Denaro: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

1,2,3-Triazole/MWCNT conjugates as filler for gelcoat nanocomposites: new active antibiofouling coatings for marine application

Iannazzo, Daniela, Pistone, Alessandro, Visco, Annamaria, Galtieri, Giovanna, Giofrè, Salvatore V, Romeo, Roberto, Romeo, Giovanni, Cappello, Simone, Bonsignore, Martina, Denaro, Renata, Galvagno, Sig

Journal:

Materials Research Express

Year:

2015

Language:

english

File:

PDF, 1.92 MB

english, 2015

2

Talus Osteochondral Bruises and Defects

McCollum, Graham A., Calder, James D.F., Longo, Umile Giuseppe, Loppini, Mattia, Romeo, Giovanni, van Dijk, C. Niek, Maffulli, Nicola, Denaro, Vincenzo

Journal:

Foot and Ankle Clinics

Year:

2013

Language:

english

File:

PDF, 199 KB

english, 2013

3

Evidence-Based Surgical Management of Spondylolisthesis: Reduction or Arthrodesis in Situ

Longo, Umile Giuseppe, Loppini, Mattia, Romeo, Giovanni, Maffulli, Nicola, Denaro, Vincenzo

Journal:

The Journal of Bone & Joint Surgery

Year:

2014

Language:

english

File:

PDF, 728 KB

english, 2014

4

[IEEE 2012 4th IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics (BioRob 2012) - Rome, Italy (2012.06.24-2012.06.27)] 2012 4th IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics (BioRob) - Overview of the implant of intraneural multielectrodes in human for controlling a 5-fingered hand prosthesis, delivering sensorial feedback and producing rehabilitative neuroplasticity

Di Pino, Giovanni, Benvenuto, Antonella, Tombini, Mario, Cavallo, Giuseppe, Denaro, Luca, Denaro, Vincenzo, Ferreri, Florinda, Rossini, Luca, Micera, Silvestro, Guglielmelli, Eugenio, Rossini, Paolo M

Year:

2012

Language:

english

File:

PDF, 341 KB

english, 2012

5

Test-and-adapt

Denaro, Giovanni, Pezzè, Mauro, Tosi, Davide

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 3.80 MB

english, 2013

6

Intermittent furosemide administration in patients with or at risk for acute kidney injury: Meta-analysis of randomized trials

Bove, Tiziana, Belletti, Alessandro, Putzu, Alessandro, Pappacena, Simone, Denaro, Giuseppe, Landoni, Giovanni, Bagshaw, Sean M., Zangrillo, Alberto, Burdmann, Emmanuel A.

Journal:

Year:

2018

Language:

english

File:

PDF, 2.14 MB

english, 2018

7

The Space Rider Programme: End user's needs and payload applications survey as driver for mission and system definition

Fedele, Alberto, Guidotti, Giuseppe, Rufolo, Giuseppe, Malucchi, Giovanni, Denaro, Angelo, Massobrio, Federico, Dussy, Stephane, Mancuso, Salvatore, Tumino, Giorgio

Journal:

Acta Astronautica

Year:

2018

Language:

english

File:

PDF, 1.68 MB

english, 2018

8

A combined SR-based Raman and InfraRed investigation of pigmenting matter used in wall paintings: The San Gennaro and San Gaudioso Catacombs (Naples, Italy) case

Crupi, Vincenza, La Russa, Mauro Francesco, Venuti, Valentina, Ruffolo, Silvestro, Ricca, Michela, Paladini, Giuseppe, Albini, Romana, Macchia, Andrea, Denaro, Lucia, Birarda, Giovanni, Bottari, Cetti

Journal:

The European Physical Journal Plus

Year:

2018

Language:

english

File:

PDF, 733 KB

english, 2018

9

Towards Testing and Analysis of Systems that Use Serialization

Giovanni Denaro, Leonardo Mariani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 289 KB

english, 2005

10

From digital image processing of colour Doppler M-mode maps to noninvasive evaluation of the left ventricular diastolic function: a dedicated software package

Giovanni Tonti, Giorgio Riccardi, Filippo Maria Denaro, Paolo Trambaiolo, Alessandro Salustri

Journal:

Ultrasound in Medicine & Biology

Year:

2000

Language:

english

File:

PDF, 881 KB

english, 2000

11

Enhancing structural software coverage by incrementally computing branch executability

Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

Journal:

Software Quality Journal

Year:

2011

Language:

english

File:

PDF, 1.41 MB

english, 2011

12

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 438 KB

english, 2005

13

Design for Testability for Highly Reconfigurable Component-Based Systems

Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 152 KB

english, 2003

14

Prediction of Response to Cardiac Resynchronization Therapy: The Selection of Candidates for CRT (SCART) Study

AUGUSTO ACHILLI, CARLO PERALDO, MASSIMO SASSARA, SERAFINO ORAZI, STEFANO BIANCHI, FRANCESCO LAURENZI, ROBERTO DONATI, GIOVANNI B. PEREGO, ANDREA SPAMPINATO, SERGIO VALSECCHI, ALESSANDRA DENARO, ANDREA

Journal:

Pacing and Clinical Electrophysiology

Year:

2006

Language:

english

File:

PDF, 119 KB

english, 2006

15

Monitoring Intrathoracic Impedance with an Implantable Defibrillator Reduces Hospitalizations in Patients with Heart Failure

DOMENICO CATANZARITI, MAURIZIO LUNATI, MAURIZIO LANDOLINA, GABRIELE ZANOTTO, GABRIELE LONARDI, SAVERIO IACOPINO, FABRIZIO OLIVA, GIOVANNI B. PEREGO, ANNAMARIA VARBARO, ALESSANDRA DENARO, SERGIO VALSEC

Journal:

Pacing and Clinical Electrophysiology

Year:

2009

Language:

english

File:

PDF, 222 KB

english, 2009

16

Clustering of Ventricular Tachyarrhythmias in Heart Failure Patients Implanted with a Biventricular Cardioverter Defibrillator

MAURIZIO LUNATI, MAURIZIO GASPARINI, MARIO BOCCHIARDO, ANTONIO CURNIS, MAURIZIO LANDOLINA, ANGELO CARBONI, GIANNI LUZZI, GABRIELE ZANOTTO, PIERANTONIO RAVAZZI, GIOVANNI MAGENTA, ALESSANDRA DENARO, PAO

Journal:

Journal of Cardiovascular Electrophysiology

Year:

2006

Language:

english

File:

PDF, 141 KB

english, 2006

17

Persistent Atrial Fibrillation Worsens Heart Rate Variability, Activity and Heart Rate, as Shown by a Continuous Monitoring by Implantable Biventricular Pacemakers in Heart Failure Patients

ANDREA PUGLISI, MAURIZIO GASPARINI, MAURIZIO LUNATI, MASSIMO SASSARA, LUIGI PADELETTI, MAURIZIO LANDOLINA, GIOVANNI LUCA BOTTO, ANTONIO VINCENTI, STEFANO BIANCHI, ALESSANDRA DENARO, ANDREA GRAMMATICO,

Journal:

Journal of Cardiovascular Electrophysiology

Year:

2008

Language:

english

File:

PDF, 323 KB

english, 2008

18

Diffuse Leptomeningeal Glioneuronal Tumors: A New Entity?

Marina Paola Gardiman, Matteo Fassan, Enrico Orvieto, Domenico D’Avella, Luca Denaro, Milena Calderone, Mariasavina Severino, Giovanni Scarsello, Elisabetta Viscardi, Giorgio Perilongo

Journal:

Brain Pathology

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

19

AUTHOR'S RESPONSE

Marina Paola Gardiman, Matteo Fassan, Enrico Orvieto, Domenico D'Avella, Luca Denaro, Milena Calderone, Mariasavina Severino, Giovanni Scarsello, Elisabetta Viscardi, Giorgio Perilongo

Journal:

Brain Pathology

Year:

2009

Language:

english

File:

PDF, 30 KB

english, 2009

20

Self-Test Components for Highly Reconfigurable Systems

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 214 KB

english, 2003

21

Monte Carlo analysis of polymer translocation with deterministic and noisy electric fields

Davide Valenti, Giovanni Denaro, Dominique Persano Adorno, Nicola Pizzolato, Salvatore Zammito, Bernardo Spagnolo

Journal:

Central European Journal of Physics

Year:

2012

Language:

english

File:

PDF, 1.44 MB

english, 2012

22

Double nerve intraneural interface implant on a human amputee for robotic hand control

Paolo M. Rossini, Silvestro Micera, Antonella Benvenuto, Jacopo Carpaneto, Giuseppe Cavallo, Luca Citi, Christian Cipriani, Luca Denaro, Vincenzo Denaro, Giovanni Di Pino, Florinda Ferreri, Eugenio Gu

Journal:

Clinical Neurophysiology

Year:

2010

Language:

english

File:

PDF, 764 KB

english, 2010

23

Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component

Pietro Braione, Giovanni Denaro, Andrea Mattavelli…

Journal:

Software Quality Journal

Year:

2014

Language:

english

File:

PDF, 468 KB

english, 2014

24

[IEEE 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Waikoloa, HI, USA (2007.01.3-2007.01.6)] 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Automated Software Testing and Analysis: Techniques, Practices and Tools

Zhou, Zhi, Scholz, Bernhard, Denaro, Giovanni

Year:

2007

Language:

english

File:

PDF, 70 KB

english, 2007

25

Invasive neural interfaces: the perspective of the surgeon

Di Pino, Giovanni, Denaro, Luca, Vadalà, Gianluca, Marinozzi, Andrea, Tombini, Mario, Ferreri, Florinda, Papalia, Rocco, Accoto, Dino, Guglielmelli, Eugenio, Di Lazzaro, Vincenzo, Denaro, Vincenzo

Journal:

Journal of Surgical Research

Year:

2014

Language:

english

File:

PDF, 1.25 MB

english, 2014

26

P3-100

Lunati, Maurizio, Gasparini, Maurizio, Santini, Massimo, Bocchiardo, Mario, Landolina, Maurizio, Sassara, Massimo, Perego, Giovanni B., Padeletti, Luigi, Burrone, Valeria, Denaro, Alessandra

Journal:

Year:

2006

Language:

english

File:

PDF, 62 KB

english, 2006

27

[ACM Press the 14th international conference - Ischia, Italy (2002.07.15-2002.07.19)] Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02 - Deriving models of software fault-proneness

Denaro, Giovanni, Morasca, Sandro, Pezzè, Mauro

Year:

2002

Language:

english

File:

PDF, 161 KB

english, 2002

28

VISA-P score for patellar tendinopathy in males: Adaptation to Italian

Maffulli, Nicola, Longo, Umile Giuseppe, Testa, Vittorino, Oliva, Francesco, Capasso, Giovanni, Denaro, Vincenzo

Journal:

Disability & Rehabilitation

Year:

2008

Language:

english

File:

PDF, 82 KB

english, 2008

29

[IEEE 2013 8th International Workshop on Automation of Software Test (AST) - San Francisco, CA, USA (2013.05.18-2013.05.19)] 2013 8th International Workshop on Automation of Software Test (AST) - Quantifying the complexity of dataflow testing

Denaro, Giovanni, Pezze, Mauro, Vivanti, Mattia

Year:

2013

Language:

english

File:

PDF, 435 KB

english, 2013

30

[IEEE 2012 7th International Workshop on Automation of Software Test (AST) - Zurich, Switzerland (2012.06.2-2012.06.3)] 2012 7th International Workshop on Automation of Software Test (AST) - An industrial case study of the effectiveness of test generators

Braione, Pietro, Denaro, Giovanni, Mattavelli, Andrea, Vivanti, Mattia, Muhammad, Ali

Year:

2012

Language:

english

File:

PDF, 209 KB

english, 2012

31

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07 Companion) - SHIWS: A Self-Healing Integrator for Web Services

Denaro, Giovanni, Pezze, Mauro, Tosi, Davide

Year:

2007

Language:

english

File:

PDF, 145 KB

english, 2007

32

Italian translation of the VISA-A score for tendinopathy of the main body of the Achilles tendon

Maffulli, Nicola, Longo, Umile Giuseppe, Testa, Vittorino, Oliva, Francesco, Capasso, Giovanni, Denaro, Vincenzo

Journal:

Disability & Rehabilitation

Year:

2008

Language:

english

File:

PDF, 99 KB

english, 2008

33

[IEEE 2012 7th International Workshop on Automation of Software Test (AST) - Zurich, Switzerland (2012.06.2-2012.06.3)] 2012 7th International Workshop on Automation of Software Test (AST) - All-values symbolic execution

Denaro, Giovanni

Year:

2012

Language:

english

File:

PDF, 194 KB

english, 2012

34

[IEEE Fourth International Conference on Autonomic Computing (ICAC'07) - Jacksonville, FL, USA (2007.06.11-2007.06.15)] Fourth International Conference on Autonomic Computing (ICAC'07) - Designing Self-Adaptive Service-Oriented Applications

Denaro, Giovanni, Pezze, Mauro, Tosi, Davide

Year:

2007

Language:

english

File:

PDF, 198 KB

english, 2007

35

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - DaTeC: Contextual data flow testing of java classes

Denaro, Giovanni, Gorla, Alessandra, Pezze, Mauro

Year:

2009

Language:

english

File:

PDF, 420 KB

english, 2009

36

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Toward deeply adaptive societies of digital systems

Carzaniga, Antonio, Denaro, Giovanni, Pezze, Mauro, Estublier, Jacky, Wolf, Alexander L.

Year:

2009

Language:

english

File:

PDF, 216 KB

english, 2009

37

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) - Cleveland, OH, USA (2014.03.31-2014.04.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation - On the Right Objectives of Data Flow Testing

Denaro, Giovanni, Pezze, Mauro, Vivanti, Mattia

Year:

2014

Language:

english

File:

PDF, 228 KB

english, 2014

38

Towards Industrially Relevant Fault-Proneness Models

Denaro, Giovanni, Pezzè, Mauro, Morasca, Sandro

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

39

Biological Strategies to Enhance Healing of the Avascular Area of the Meniscus

Longo, Umile Giuseppe, Campi, Stefano, Romeo, Giovanni, Spiezia, Filippo, Maffulli, Nicola, Denaro, Vincenzo

Journal:

Stem Cells International

Year:

2012

Language:

english

File:

PDF, 96 KB

english, 2012

40

Advances in Meniscal Tissue Engineering

Longo, Umile Giuseppe, Loppini, Mattia, Forriol, Francisco, Romeo, Giovanni, Maffulli, Nicola, Denaro, Vincenzo

Journal:

Stem Cells International

Year:

2012

Language:

english

File:

PDF, 99 KB

english, 2012

41

[ACM Press the 2005 workshop - St. Louis, Missouri (2005.05.21-2005.05.21)] Proceedings of the 2005 workshop on Design and evolution of autonomic application software - DEAS '05 - Adaptive integration of third-party web services

Denaro, Giovanni, Pezzé, Mauro, Tosi, Davide

Year:

2005

Language:

english

File:

PDF, 383 KB

english, 2005

42

[ACM Press The 6th Joint Meeting - Dubrovnik, Croatia (2007.09.03-2007.09.07)] The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07 - SOQUA 2007 4th international workshop on software quality assurance

Denaro, Giovanni, Pezzè, Mauro, Shehory, Onn

Year:

2007

Language:

english

File:

PDF, 139 KB

english, 2007

43

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization

Braione, Pietro, Denaro, Giovanni, Pezzè, Mauro

Year:

2013

Language:

english

File:

PDF, 506 KB

english, 2013

44

Adaptive integration of third-party web services

Denaro, Giovanni, Pezzé, Mauro, Tosi, Davide

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 383 KB

english, 2005

45

Using symbolic execution for verifying safety-critical systems

Coen-Porisini, Alberto, Denaro, Giovanni, Ghezzi, Carlo, Pezzé, Mauro

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 137 KB

english, 2001

46

[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - Reusing constraint proofs in program analysis

Aquino, Andrea, Bianchi, Francesco A., Chen, Meixian, Denaro, Giovanni, Pezzè, Mauro

Year:

2015

Language:

english

File:

PDF, 878 KB

english, 2015

47

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - Using symbolic execution for verifying safety-critical systems

Coen-Porisini, Alberto, Denaro, Giovanni, Ghezzi, Carlo, Pezzé, Mauro

Year:

2001

Language:

english

File:

PDF, 137 KB

english, 2001

48

[ACM Press the fourth international workshop - Redwood Shores, California (2004.01.14-2004.01.16)] Proceedings of the fourth international workshop on Software and performance - WOSP '04 - Early performance testing of distributed software applications

Denaro, Giovanni, Polini, Andrea, Emmerich, Wolfgang

Year:

2004

Language:

english

File:

PDF, 1.12 MB

english, 2004

49

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - SOQUA 2007

Denaro, Giovanni, Pezzè, Mauro, Shehory, Onn

Year:

2007

Language:

english

File:

PDF, 138 KB

english, 2007

50

[ACM Press the 4th international workshop - Vienna, Austria (2001.09.10-2001.09.11)] Proceedings of the 4th international workshop on Principles of software evolution - IWPSE '01 - An experience on verification of aspect properties

Denaro, Giovanni, Monga, Mattia

Year:

2002

Language:

english

File:

PDF, 352 KB

english, 2002